You have chosen Chrysippus, Paul Benacerraf and Paul Benacerraf.
All three must be different; choose another philosopher.